package org.korifey.ffbdd.samples.queens;

import java.util.Set;

public class QueensBdd {
	
	static class ContextStorage {
		
	}
	
	public Set<Position> solve(int n) {
		/*ContextStorage ctx = new ContextStorage();
		ctx = ctx.add(new Position(n));
		for (int i=0; i<n; i++) {
			ctx = ctx.add(n);
		}
		return ctx.toSet();*/
		return null;
	}
	
}
